inference clause

un. 推理子句